Null/knockout Irx4<tm1Jse> MGI:2180895 http://identifiers.org/mgd/MGI:2180895 Irx4<deltaex2> targeted mutation 1, Jonathon G Seidman